Programme PNGT@ICGT September 28, 2010

Preproceedings (All Extended Abstracts) as PDF, (2MB)

09:00 – 09:15 Welcome and Opening

Session 1: Reconfigurable Petri Nets

09:15 – 10:00 Tony Modica, Karsten Gabriel (Graduate School H-C3, TU Berlin and Fraunhofer FOKUS, Berlin) and Kathrin Hoffmann (HAW Hamburg):

Transformation of Petri Nets with Individual Tokens

10:00 – 10:30 COFFEE

Session 2: Relating Transformation Systems

10:30 – 11: 15 Maria Maximova, Hartmut Ehrig, Claudia Ermel, Department of Software Engineering and Theoretical Computer Science, TU Berlin

Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-Adhesive Categories

11:15 – 12:00 Winzent Fischer, Tony Modica, Enrico Biermann, Claudia Ermel, Department of Software Engineering and Theoretical Computer Science, TU Berlin

Towards a Visual Tool Environment for Reconfigurable Algebraic High-Level Nets based on the Eclipse Modeling Framework and AGG

12:30 – 14:00 LUNCH

Session 3: Modelling with Net Patterns and AHL Nets

14:00 – 14:45 Frank Trollmann and Sahin Albayrak, DAI Laboratory, TU Berlin

Using Net Patterns to Simplify the Application of Graph Transformation Rules

14:45 – 15:30 Ulrike Golas, Kathrin Hoffmann, Hartmut Ehrig, Alexander Rein, and Julia Padberg (TU Berlin and HAW Hamburg)

Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks

15:30 – 16:00 COFFEE

Session 4: Analysis of Model Transformation by Petri Net Abstractions

16:00 – 16: 45 Ábel Hegedüs and Daniel Varró, Budapest University of Technology and Economics

Guided State Space Exploration using Back-annotation of Occurrence Vectors

16:45 – 17:15 Discussion and Closing